process calculi造句
例句與造句
- Currently research on process calculi focuses on the following problems.
- Trace monoids are commonly used to model process calculi.
- This is to be expected as process calculi are an active field of study.
- Nevertheless there are interesting co-evolutions between the Actor Model and Process Calculi.
- They present the ideas to direct implement a process calculi in a functional setting.
- It's difficult to find process calculi in a sentence. 用process calculi造句挺難的
- As for process calculi, the-calculus allows for a definition of bisimulation equivalence.
- See Actor model and process calculi history.
- Various process calculi have been studied and not all of them fit the paradigm sketched here.
- The relationship of the model to other work is discussed in Actor model and process calculi.
- In process calculi, the sequentialisation operator is usually integrated with input or output, or both.
- Some process calculi also allow channels to be " created " during the execution of a computation.
- His research includes work on programming languages, static type systems, distributed programming, mobile agents, and process calculi.
- Continuations are also used in models of computation including denotational semantics, the Actor model, process calculi, and lambda calculus.
- Subsequent to Petri nets other models of concurrency have been developed that can model asynchronous circuits including the Actor model and process calculi.
- The choice of the kind of data that can be exchanged in an interaction is one of the key features that distinguishes different process calculi.
更多例句: 下一頁(yè)